Results for 'Odilio Alves Aguiar'

100 found
Order:
  1. Natureza e Política: Pierre Aubenque e Fred Miller sobre Aristóteles.Odílio Alves Aguiar - 2014 - Argumentos 11:212-228.
    Download  
     
    Export citation  
     
    Bookmark  
  2. Moral distance in dictators games.Fernando Aguiar, Pablo Brañas-Garza & Luis Miller - 2008 - Judgment and Decision Making 3 (4):344-354.
    We perform an experimental investigation using a dictator game in which individuals must make a moral decision —to give or not to give an amount of money to poor people in the Third World. A questionnaire in which the subjects are asked about the reasons for their decision shows that, at least in this case, moral motivations carry a heavy weight in the decision: the majority of dictators give the money for reasons of a consequentialist nature. Based on the results (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  3. Semiosis and intersemiotic translation.Daniella Aguiar & Joao Queiroz - 2013 - Semiotica 2013 (196):283-292.
    This paper explores Victoria Welby's fundamental assumption of meaning process (“semiosis” sensu Peirce) as translation, and some implications for the development of a general model of intersemiotic translation.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  4. Filosofía Experimental y Economía Experimental: un enfoque híbrido.Fernando Aguiar, Antonio Gaitán & Blanca Rodríguez López - 2014 - Isegoría 51:623-648.
    En este artículo presentamos las principales corrientes de la Filosofía Experimental y atendemos a una de las críticas más severas a la que se ha sometido este reciente programa de renovación metodológica. Según Antti Kauppinen la Filosofía Experimental está condenada al fracaso porque no puede obtener mediante sus métodos el tipo de intuiciones que interesan a los filósofos –las intuiciones robustas del hablante competente. Aun aceptando parte de las críticas de Kauppinen, en este artículo sostenemos, en primer lugar, que la (...)
    Download  
     
    Export citation  
     
    Bookmark  
  5. Método e discurso filosófico no diálogo 'O Sofista' de Platão.Alexandre Alves - 2021 - Princípios: Revista de Filosofia (Ufrn) 28 (57):131-142.
    Due to its discussion of the question of non-being and its intention of grounding the philosophical discourse, Plato ́s dialogue The Sophist occupies a central position in the history of philosophy. The purpose of this article is to relate the definition method used by Plato in the dialogue (the diaeresis) with his conception of philosophical discourse. The different definitions for the sophist proposed in the dialogue are not only part of Plato's polemic against sophistry, but underpin the very Platonic conception (...)
    Download  
     
    Export citation  
     
    Bookmark  
  6. A crítica de Nietzsche ao ideal alemão de Bildung.Alexandre Alves - 2018 - Revista Trágica 11 (3):26-40.
    The aim of this article is to analyze the semantic change of the German ideal of Bildung in the time of Nietzsche and the reinterpretation that the philosopher proposes of the concept. Bildung is one of the fundamental concepts of modernity in Germany, and in its classical formulation designated a moral imperative of self-improvement of the individual and humanity as a normative ideal. Nietzsche criticized the degradation of this ideal in mere general culture and the cultural philistinism of his time. (...)
    Download  
     
    Export citation  
     
    Bookmark  
  7. Wilhelm Schmid - Dar forma a nós mesmos: Sobre a filosofia da arte de viver em Nietzsche (translation).Alexandre Alves - 2007 - Verve 12:44-65.
    Download  
     
    Export citation  
     
    Bookmark  
  8. Fregean de re thoughts.Marco Aurelio Sousa Alves - 2014 - Cognitio-Estudos 11 (1):1-12.
    This papers aims at clarifying some misunderstandings that seem to block an adequate account of de re thoughts within the Fregean framework. It is usually assumed that Fregean senses cannot be de re, or dependent upon objects. Contrary to this assumption, Gareth Evans and John McDowell have claimed that Fregean de re senses are not just possible, but in fact the most promising alternative for accounting for de re thoughts. The reasons blocking this alternative can be traced back to Russellian (...)
    Download  
     
    Export citation  
     
    Bookmark  
  9. Ykamyabas: poéticas de um corpo-território.Renata Aguiar - 2021 - REVISTA POIÉSIS: Estudos Contemporâneos Das Artes 22 (37):41-62.
    This article travels through the rivers and lands of a territorial body into a lived and imagined Amazon, a place of origin and affection that, telling the stories of the Ykamyabas –a tribe of women without husbands who lived in the lower Amazon river region –, gather the traces left for their mythical imagery in the archetypal relationship of the wild woman in narratives that come mainly through orality, from ways of life that subvert the split of the world operated (...)
    Download  
     
    Export citation  
     
    Bookmark  
  10. Intersemiotic translation and transformational creativity.Daniella Aguiar, Pedro Ata & Joao Queiroz - 2015 - Punctum 1 (2):11-21.
    In this article we approach a case of intersemiotic translation as a paradigmatic example of Boden’s ‘transformational creativity’ category. To develop our argument, we consider Boden’s fundamental notion of ‘conceptual space’ as a regular pattern of semiotic action, or ‘habit’ (sensu Peirce). We exemplify with Gertrude Stein’s intersemiotic translation of Cézanne and Picasso’s proto-cubist and cubist paintings. The results of Stein’s IT transform the conceptual space of modern literature, constraining it towards new patterns of semiosis. Our association of Boden’s framework (...)
    Download  
     
    Export citation  
     
    Bookmark  
  11. The German Tradition of Self-Cultivation (Bildung) and its Historical Meaning.Alexandre Alves - 2019 - Educação and Realidade 44 (2):1-18. Translated by Alexandre Alves.
    The German Tradition of Self-Cultivation (Bil dung) and its Historical Meaning. This article aims at analysing the historical meaning of the German ideal of self-cultivation (Bildung), considering its different uses and interpretations over time. Based on the historical semantics of Reinhart Koselleck and the bibliography on the subject, it reconstructs the core transformations in its semantic structure from the beginnings in the late Middle Ages to its institutionalization in the German school system in the nineteenth century. The development of the (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  12. Sobre o ser e a essência nas Quaestiones in Metaphysicam de Sigério de Brabant.Luiz Fernando Pereira de Aguiar - 2020 - Dissertation, University of Sao Paulo
    Download  
     
    Export citation  
     
    Bookmark  
  13. Logic is Metaphysics.Daniel Durante Pereira Alves - 2011 - Principia: An International Journal of Epistemology 15 (1):31-42.
    Analyzing the position of two philosophers whose views are recognizably divergent, W. O. Quine and M. Dummett, we intend to support a striking point of agreement between them: the idea that our logical principles constitute our principles about what there is, and therefore, that logic is metaphysics.
    Download  
     
    Export citation  
     
    Bookmark  
  14. Are emotions necessary and sufficient for making moral judgments?Marco Aurélio Sousa Alves - 2013 - Ethic@ - An International Journal for Moral Philosophy 12 (1):113-126.
    Jesse Prinz (2006, 2007) claimed that emotions are necessary and sufficient for moral judgments. First of all, I clarify what this claim amounts to. The view that he labels emotionism will then be critically assessed. Prinz marshals empirical findings to defend a series of increasingly strong theses about how emotions are essential for moral judgments. I argue that the empirical support upon which his arguments are based is not only insufficient, but it even suggests otherwise, if properly interpreted. My criticism (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  15. Ontological Commitment.Daniel Durante Pereira Alves - 2018 - AL-Mukhatabat 1 (27):177-223.
    Disagreement over what exists is so fundamental that it tends to hinder or even to block dialogue among disputants. The various controversies between believers and atheists, or realists and nominalists, are only two kinds of examples. Interested in contributing to the intelligibility of the debate on ontology, in 1939 Willard van Orman Quine began a series of works which introduces the notion of ontological commitment and proposes an allegedly objective criterion to identify the exact conditions under which a theoretical discourse (...)
    Download  
     
    Export citation  
     
    Bookmark  
  16. The Minimal Method of Descartes.Marco Aurelio Sousa Alves - 2012 - Metatheoria 3 (1):1-18.
    What is, after all, the famous method of Descartes? The brief and vague passages devoted to this subject in Descartes’ corpus have always puzzled his readers. In this paper, I investigate not only the two essays in which it is directly addressed (the Regulae ad Directionem Ingenii, and the Discours de la Méthode), but also his scientific works and correspondence. I finally advocate an interpretation that makes the best sense of his overt comments as well as of his actual scientific (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  17. Content, Object, and Phenomenal Character.Marco Aurélio Sousa Alves - 2012 - Principia, an International Journal of Epistemology 16 (3):417-449.
    The view that perceptual experience has representational content, or the content view, has recently been criticized by the defenders of the so-called object view. Part of the dispute, I claim here, is based on a lack of grasp of the notion of content. There is, however, a core of substantial disagreement. Once the substantial core is revealed, I aim to: (1) reject the arguments raised against the content view by Campbell (2002), Travis (2004), and Brewer (2006); (2) criticize Brewer’s (2006, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  18. O realismo interno confrontado com "seus inimigos".Edna de Souza Alves - 2007 - Trans/Form/Ação 30 (2):75-91.
    Our investigation on Hilary Putnam’s internal realist perspective(internalism) traces parallels and identifies differences between Putnam’s ideasand their antipodes: metaphysical realist (externalism) and radical relativist. Ourresearch has focused upon the contemporary debate in which it is inserted, par-ticularly, upon the challenge that radical relativism to impose on contemporaryepistemology. Such challenge will not be surmounted through classical project tofind absolute certainties. The history of science to point out that theories are notnets that to catch the reality as it is in itself. But (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  19. The obscure content of hallucination.Marco Aurélio Sousa Alves - 2019 - Sofia 8 (1):30-53.
    Michael Tye proposed a way of understanding the content of hallucinatory experiences. Somewhat independently, Mark Johnston provided us with elements to think about the content of hallucination. In this paper, their views are compared and evaluated. Both their theories present intricate combinations of conjunctivist and disjunctivist strategies to account for perceptual content. An alternative view, which develops a radically disjunctivist account, is considered and rejected. Finally, the paper raises some metaphysical difficulties that seem to threaten any conjunctivist theory and to (...)
    Download  
     
    Export citation  
     
    Bookmark  
  20. Entre a filosofia e as ciências sociais.Alessandro Cavassin Alves - 2019 - Basilíade - Revista de Filosofia 1 (2):09-21.
    O presente artigo busca pensar os limites entre Filosofia e Ciências Sociais, e que, apesar de serem conhecimentos distintos, estão muito mais imbricadas do que separadas, devido ao seu caráter reflexivo e lógico sobre os temas que intrigam a humanidade. Um problema conjunto é o próprio caráter do que fundamentaria a sociedade. Tal motivação provém de um exemplo particular, que é pensar a existência de um ente superior e anterior aos indivíduos, capaz de dar sentido à existência, mas também de (...)
    Download  
     
    Export citation  
     
    Bookmark  
  21. Singularidade fenomênica e conteúdo perceptivo.Marco Aurélio Sousa Alves - 2018 - Manuscrito 41 (1):67-91.
    The most prominent theories of perceptual content are incapable of accounting for the phenomenal particularity of perceptual experience. This difficulty, or so I argue, springs from the absence of a series of distinctions that end up turning the problem apparently unsolvable. After briefly examining the main shortcomings of representationalism and naïve realism, I advance a proposal of my own that aims to make the trivial fact of perceptually experiencing a particular object as such philosophically unproblematic. Though I am well aware (...)
    Download  
     
    Export citation  
     
    Bookmark  
  22. A velha e a nova lógica (translation).Alexandre Alves - 2023 - Princípios 30 (63):203-229.
    Trata-se da tradução de um ensaio clássico publicado por Rudolf Carnap na revista Erkenntnis. A tradução é precedida por um texto de apresentação, que situa o ensaio e sua importância no contexto da filosofia contemporânea e na obra de Carnap. No ensaio, Carnap indica as principais características que distinguem o que ele chama de nova lógica (a lógica simbólica matemática derivada das obras de Frege, Peano e Hilbert, entre outros) da lógica filosófica tradicional e explica a sua importância como novo (...)
    Download  
     
    Export citation  
     
    Bookmark  
  23. Justiça e Racionalidade Prática–reflexões a partir da obra de Alasdair MacIntyre.Cleber Francisco Alves & Antonio Cavalcanti Maia - 2005 - In Antonio Cavalcanti Maia (ed.), Perspectivas atuais da filosofia do direito. Rio de Janeiro: Editora Lumen Juris.
    Download  
     
    Export citation  
     
    Bookmark  
  24. The Minimal Method of Descartes.Marco Aurélio Sousa Alves - 2012 - Metatheoria – Revista de Filosofía E Historia de la Ciencia 3:1--18.
    What is, after all, the famous method of Descartes? The brief and vague passages devoted to this subject in Descartes’ corpus have always puzzled his readers. In this paper, I investigate not only the two essays in which it is directly addressed (the Regulae ad Directionem Ingenii, and the Discours de la Méthode), but also his scientific works and correspondence. I finally advocate an interpretation that makes the best sense of his overt comments as well as of his actual scientific (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  25. Sobre a possibilidade de pensarmos o mundo: o debate entre John McDowell e Donald Davidson.Marco Aurelio Sousa Alves - 2008 - Dissertation, Universidade Federal de Minas Gerais
    The thesis evaluates a contemporary debate concerning the very possibility of thinking about the world. In the first chapter, McDowell's critique of Davidson is presented, focusing on the coherentism defended by the latter. The critique of the myth of the given (as it appears in Sellars and Wittgenstein), as well as the necessity of a minimal empiricism (which McDowell finds in Quine and Kant), lead to an oscillation in contemporary thinking between two equally unsatisfactory ways of understanding the empirical content (...)
    Download  
     
    Export citation  
     
    Bookmark  
  26. La racionalidad neoliberal y la transformación estructural de la universidad.Alexandre Alves - 2019 - Pedagogia y Saberes 51:67-74.
    The aim of this text, derived from an investigation, is to propose a reflection on the future of the university, from the problematization of the neoliberal rationality impact on the forms of knowledge production and organization of academic life. To develop this analysis, the main transformations of the modern university since its advent with the founding of the Berlin University by Wilhelm von Humboldt, in 1810, who created the model of the research university, until the emergence of the neoliberal university (...)
    Download  
     
    Export citation  
     
    Bookmark  
  27. ´Capital e Ideologia´ de Thomas Piketty: Um Breve Guia de Leitura.Alexandre Alves - 2021 - Cadernos Ihu Ideias 19 (315):1-35.
    Download  
     
    Export citation  
     
    Bookmark  
  28. A quantitative-informational approach to logical consequence.Marcos Antonio Alves & Ítala M. Loffredo D'Otaviano - 2015 - In Beziau Jean-Yves (ed.), The Road to Universal Logic (Studies in Universal Logic). Springer International Publishing. pp. 105-24.
    In this work, we propose a definition of logical consequence based on the relation between the quantity of information present in a particular set of formulae and a particular formula. As a starting point, we use Shannon‟s quantitative notion of information, founded on the concepts of logarithmic function and probability value. We first consider some of the basic elements of an axiomatic probability theory, and then construct a probabilistic semantics for languages of classical propositional logic. We define the quantity of (...)
    Download  
     
    Export citation  
     
    Bookmark  
  29. Individualidade, liberdade e educação (Bildung) em Max Stirner.Alexandre Alves - 2018 - Pro-Posições 29 (3):281-304.
    This paper aims to discuss how the themes of individuality, freedom and education are articulated in Stirner's thought. It begins with a brief history of Stirner's reception. Next, the paper analyzes the subversion of Hegelian dialectics and the critique of Feuerbach's and Marx's atheistic humanism, which remain linked to Christian theology by deifying an abstract human essence. Then, the focus shifts to Stirnerian nominalism and its criticism of God, State, humanity and society as ideological constructs that dominate the concrete individual. (...)
    Download  
     
    Export citation  
     
    Bookmark  
  30. Introdução à perspectiva ficcionalista na filosofia da matemática.Marco Aurélio Sousa Alves & José Henrique Fonseca Franco - 2022 - Perspectivas 7 (2):330-346.
    O ficcionalismo, geralmente classificado como um tipo de nominalismo, apresenta como perspectiva precípua a tese de que os entes matemáticos são ficções. Para o ficcionalista, o discurso matemático é desprovido de conteúdo. Hartry Field, que é o principal defensor dessa concepção ontológica da matemática, contesta, em Science Without Numbers, a utilização de entes matemáticos na redação de teorias da física, alegando que a defesa mais plausível do realismo ontológico matemático é o argumento da indispensabilidade de Quine-Putnam. O ficcionalismo defendido por (...)
    Download  
     
    Export citation  
     
    Bookmark  
  31. Educação e Política em Jean-Jacques Rosseau (1712-1778).Jhonatan Diógenes de Oliveira Alves - 2019 - Dissertation, Uem, Brazil
    Download  
     
    Export citation  
     
    Bookmark  
  32. Raciocínio com Falsidades: Um Ensaio sobre Conhecimento Inferencial.Eduardo Alves - 2021 - Dissertation, Pontifical Catholic University of Rio Grande Do Sul
    The goal of this essay is to evaluate the claim that it is possible to acquire inferential knowledge from false belief. In order to do so, we explain the main problem and some preliminaries notions in the first chapter. In the second chapter, we evaluate the reasons against the possibility of knowledge from falsehood. In the final chapter, we examine the reasons for the possibility of knowledge from falsehood.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  33. Uma análise crítica das relações entre cognição, paixões e ação na perspectiva cartesiana.Marcos Antonio Alves - 2016 - Revista Estudos Filosóficos 16:55-74.
    Download  
     
    Export citation  
     
    Bookmark  
  34. A destruição do inimigo público inominado: uma interpretação do político em Carl Schmitt.Felipe Alves - 2017 - Revista de la Facultad de Derecho 43 (1):259-286.
    This paper proposes a critical analysis of the essential criteria to define the concept of the political as presented by German jurist and philosopher, Carl Schmitt. Based on the essence of the political -i.e. the friend-enemy duality-, the objective is to explore the practical implications resulting from the actual possibilities of confrontation, the key scope being the analysis of a totalitarian potential from a Schmittian´s perspective. In Schmitt´s thought, this distinction is the fundamental reason for the definition of the political. (...)
    Download  
     
    Export citation  
     
    Bookmark  
  35. Matéria (In)tangível: entre o infinitamente grande e o ínfimo que aprofunda.Margarida Nunes Campina Alves - 2021 - Dissertation, Universidade de Lisboa
    Download  
     
    Export citation  
     
    Bookmark  
  36. Matéria (In)tangível: entre o infinitamente grande e o ínfimo que aprofunda.Margarida Nunes Campina Alves - 2021 - Dissertation, Universidade de Lisboa
    Download  
     
    Export citation  
     
    Bookmark  
  37.  36
    O FAUSTO DE FERNANDO PESSOA: CRIAÇÃO, EDIÇÃO, RECEPÇÃO.João Paulo Cardoso Alves - 2022 - Dissertation, Universidade Federal Do Amazonas
    Download  
     
    Export citation  
     
    Bookmark  
  38. Informação, conhecimento e modelos.Marcos Antonio Alves, Daniel Martínez-Ávila & Maria Cláudia Cabrini Gracio (eds.) - 2017 - Campinas-Marília/Brasil: Coleção CLE-Unicamp/Cultura Acadêmica-UNESP.
    We are in the information age. Nowadays, the information is a high power commodity. Your domain and handling have high economic, political, social value. However, we still know little about it. What is the information? How do we store it, retrieve it and manipulate it? Everyone have or should have equal access to information? What is the relationship between information and knowledge? How can both influence and be influenced by the action? Can they are modeled? The models can contribute to (...)
    Download  
     
    Export citation  
     
    Bookmark  
  39.  90
    Capitalismo e desigualdade segundo Branko Milanovic. [REVIEW]Alexandre Alves - 2020 - Ihu on-Line.
    Download  
     
    Export citation  
     
    Bookmark  
  40. Restaurando a explicação do anulabilismo falibilista sobre o conhecimento a partir de crença falsa.Eduardo Alves - 2021 - Intuitio 14 (2):1-14.
    O objetivo deste artigo é responder a duas objeções que podem ser feitas à explicação do anulabilismo falibilista referente à possibilidade de conhecimento inferencial originado em falsidade (KFF). A primeira objeção é que a ausência de restauradores indica a incompletude da explicação anulabilista falibilista de KFF, enquanto a segunda é que o experimento mental de KFF viola o Princípio Resistência à Verdade* (RV*) – a principal tese do anulabilismo falibilista. Na primeira seção, explicarei no que consiste o debate acerca da (...)
    Download  
     
    Export citation  
     
    Bookmark  
  41. C. S. Peirce and Intersemiotic Translation.Joao Queiroz & Daniella Aguiar - 2015 - In Peter Pericles Trifonas (ed.), International Handbook of Semiotics. Dordrecht: Springer. pp. 201-215.
    Intersemiotic translation (IT) was defined by Roman Jakobson (The Translation Studies Reader, Routledge, London, p. 114, 2000) as “transmutation of signs”—“an interpretation of verbal signs by means of signs of nonverbal sign systems.” Despite its theoretical relevance, and in spite of the frequency in which it is practiced, the phenomenon remains virtually unexplored in terms of conceptual modeling, especially from a semiotic perspective. Our approach is based on two premises: (i) IT is fundamentally a semiotic operation process (semiosis) and (ii) (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  42. O Devido como Garantidor da Excelência: Análises a partir do Livro V da Ethica Nicomachea.Felipe Alves da Silva - 2016 - Clareira: Revista de Filosofia da Região Amazônica 3 (1):56-86.
    O presente trabalho tem por finalidade analisar, a partir do livro V da obra Ethica Nicomachea, se a justiça poderia ser tomada como um meio que irá auxiliar os cidadãos a desenvolver plenamente as suas virtudes. Buscar-se-á fundamentar que é através da justiça que os bons cidadãos seriam formados, bem como o bom caráter seria cultivado. Analisar-se-á, também, ainda que minimamente, o que Aristóteles entende de fato por justiça, de que o justo seria dar a cada um o que lhe (...)
    Download  
     
    Export citation  
     
    Bookmark  
  43. O conceito de significado no Peri Hermeneias de Aristóteles.Janio Alves - 2012 - Dissertation, Universidade Federal Do Rio Grande Do Sul
    Download  
     
    Export citation  
     
    Bookmark  
  44. A Prova Histórica na Concepção Retórica de Aristóteles.Daniel Vecchio Alves - 2018 - Revista de Estudos de Cultura 4 (12):9-20.
    Download  
     
    Export citation  
     
    Bookmark  
  45. Displacement in Raymond Carver's Stories.Amelia Maria Fernandes Alves - 1996 - Dissertation, The George Washington University
    Raymond Carver's stories have received many labels: minimalism, K-mart fiction, low-rent tragedy, neo-realism. Paring language, plot, and characterization to the bone, Carver concentrates his stories on instances of judgment and choice. These climactic moments affect not only the characters, but also the reader, who is called to fill the gaps in the text. The gaps generally show the unrelatedness of the characters' responses to the situations in which they find themselves. Relying on formulae, concepts, and rules taken for granted as (...)
    Download  
     
    Export citation  
     
    Bookmark  
  46. O problema mente-corpo e as propriedades dos fenômenos mentais segundo Searle.Marcos Antonio Alves - 2015 - In Ubirajara Marques (ed.), Jornadas Filosóficas Internacionais de Lisboa2015.
    Download  
     
    Export citation  
     
    Bookmark  
  47. Filosofia Sem Filósofos: análise de conceitos como método e conteúdo para o ensino médio.Daniel Durante Pereira Alves - 2012 - Filosofia No Ensino Médio: Desafios E Perspectivas.
    Este artigo propõe a adoção do método da análise de conceitos conforme apresentada por John Wilson, como metodologia pedagógica e principal conteúdo para a disciplina de filosofia no ensino médio.
    Download  
     
    Export citation  
     
    Bookmark  
  48. Patrimônio Natural e Turismo voluntário: ética do cuidado na relação Sociedade-Natureza.Vitor João Ramos Alves - 2016 - Dissertation, Unb, Brazil
    Download  
     
    Export citation  
     
    Bookmark  
  49. Strong Normalization via Natural Ordinal.Daniel Durante Pereira Alves - 1999 - Dissertation,
    The main objective of this PhD Thesis is to present a method of obtaining strong normalization via natural ordinal, which is applicable to natural deduction systems and typed lambda calculus. The method includes (a) the definition of a numerical assignment that associates each derivation (or lambda term) to a natural number and (b) the proof that this assignment decreases with reductions of maximal formulas (or redex). Besides, because the numerical assignment used coincide with the length of a specific sequence of (...)
    Download  
     
    Export citation  
     
    Bookmark  
  50. ONTOLOGIA, EPISTEMOLOGIA E PRÁTICA: uma análise da produção científica jesuítica em Portugal no século XVIII.Jefferson dos Santos Alves - 2020 - Dissertation, Federal University of Rio de Janeiro
    Download  
     
    Export citation  
     
    Bookmark  
1 — 50 / 100